Nuprl Definition : ma-single-decls 0,22
with declarations 
ds:ds
da:da

== mk-ma(ds;
== da;
== ;
== ;
== ;
== ;
== ;
== ;
== ;
== ;
== ) 
latex

Definitionsmk-ma,
FDL editor aliasesma-single-decls

origin